Enhancing Behavior Protocols with Exceptions
نویسنده
چکیده
Formal methods for describing the communicating behavior of software components are believed to become widely used. Based on our experience with creating a formal behavior model of an already existing reasonably-large project, handling exceptions explicitly in the formal language is a necessity. Otherwise the specification becomes undesirably large, hard to read and consequently error-prone. The paper presents our approach to this problem extending the syntax of behavior protocols, discusses the influence on the composition of components and the consent operator and presents our positive experience with applying these extensions to a model of a real-life Fractal application.
منابع مشابه
Exceptions in Component Interaction Protocols - Necessity
At ADL level, most of the current interaction protocols designed to specify components’ behavior at their interfaces do not allow to capture exceptions explicitly. Based on our experience with real-life component based applications, handling exceptions as first class entities in a (formal) behavior specification is an absolute necessity. Otherwise, due to the need to capture exceptions indirect...
متن کاملENACTING BUSINESS PROCESSES VIA COMMITMENT PROTOCOLS AMONG AGENTS by ASHOK
Mallya, Ashok Ullal. Modeling and Enacting Business Processes via Commitment Protocols Among Agents (Under the direction of Professor Munindar P. Singh). Multiagent systems involve a rich variety of interactions among agents–situated computations that are autonomous in their behavior and heterogenous in structure. These interactions can be realized unambiguously if they are governed by publishe...
متن کاملFighting the State Explosion Problem in Component Protocols
Title: Fighting the state explosion problem in component protocols Author: Viliam Holub email: [email protected] phone: +420 2 2191 4235 Department: Department of Software Engineering Faculty of Mathematics and Physics Charles University in Prague, Czech Republic Advisor: Prof. Ing. Frantǐsek Plášil, DrSc. email: [email protected] phone: +420 2 2191 4266 Mailing address (both Author ...
متن کاملMeta-Level Control of Coordination Protocols
This paper proposes a meta-level control mechanism of coordination protocols in a multi-agent system. In an open environment, an agent needs to respond to unexpected situations (exceptions). By introducing a meta-level control mechanism in the coordination protocol execution, an agent can have flexible control over the coordination with other agents. As a mete-level control mechanism, methods t...
متن کاملارائه رویکردی نوین یادگیری ماشین برای شناسایی و تجزیه و تحلیل دانش پدیدههای استثنایی
Learning logic of exceptions is a substantial challenge in data mining and knowledge discovery. Exceptional phenomena detection takes place among huge records in a database which contains a large number of normal records and a few of exceptional ones. This is important to promote the confidence to a limited number of exceptional records for effective learning. In this study, a new approach base...
متن کامل